Reliability Analysis of Core Protection Calculator System using Petri Net
نویسندگان
چکیده
As digital systems are introduced to nuclear power plants, issues related with reliability analyses of these digital systems are being raised. One of these issues is that static Fault Tree (FT) and Event Tree (ET) approach cannot properly account for dynamic interactions in the digital systems, such as multiple top events, logic loops and time delay. This study proposes an approach to analyzing the reliability of Core Protection Calculator System (CPCS) using Petri Net (PN) modeling. The PN, one of the dynamic methodologies, allows modeling event dependencies and interaction to represent the time sequence and delay time for dynamic events. This study applies the approach to the reliability analysis of CPCS. In order to analyze the digital system modeling, further studies are required with the dynamic modeling methods and the software in the digital system. Modeling of digital systems should be realistic to account for the system characteristics and be able to predict system behavior.
منابع مشابه
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملAn Architecture for Security and Protection of Big Data
The issue of online privacy and security is a challenging subject, as it concerns the privacy of data that are increasingly more accessible via the internet. In other words, people who intend to access the private information of other users can do so more efficiently over the internet. This study is an attempt to address the privacy issue of distributed big data in the context of cloud computin...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملReliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets
The “Reliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets” is a work in progress and an extension to the work presented in the paper “Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models”[9]. The current work attempts to model the Anti-lock braking sub-system of a vehicle system using Stochastic Petri Nets. The reliability analysis is under...
متن کامل